Skip to content

Conversation

Manishearth
Copy link
Member

We should have stuff on this in the book somewhere too

r? @steveklabnik

@steveklabnik
Copy link
Member

We should, and I thought I did. I'm not sure this is the place for explaining, though, it's for summarizing and linking to where it's explained elsewhere.

@Manishearth
Copy link
Member Author

Yeah, this isn't the best place for explaining, but there should be a one-line explanation anyway in case of ambiguous terminology (i.e. "outlives")

@alexcrichton
Copy link
Member

r? @steveklabnik (apparently assignment didn't catch)

@steveklabnik
Copy link
Member

@bors: r+ rollup

i'm still pretty meh but if you think it's important, i'm okay with it.

@bors
Copy link
Collaborator

bors commented Jan 27, 2016

📌 Commit 5a14f37 has been approved by steveklabnik

Manishearth added a commit to Manishearth/rust that referenced this pull request Jan 27, 2016
…klabnik

We should have stuff on this in the book somewhere too

r? @steveklabnik
@bors
Copy link
Collaborator

bors commented Jan 27, 2016

⌛ Testing commit 5a14f37 with merge 804c1d1...

@bors
Copy link
Collaborator

bors commented Jan 27, 2016

💔 Test failed - auto-linux-64-opt

@steveklabnik
Copy link
Member

@bors: retry

@bors
Copy link
Collaborator

bors commented Jan 27, 2016

⌛ Testing commit 5a14f37 with merge efde4f3...

@bors
Copy link
Collaborator

bors commented Jan 27, 2016

💔 Test failed - auto-linux-64-opt

@alexcrichton
Copy link
Member

@bors: retry

On Wed, Jan 27, 2016 at 12:10 PM, bors [email protected] wrote:

[image: 💔] Test failed - auto-linux-64-opt
http://buildbot.rust-lang.org/builders/auto-linux-64-opt/builds/7823


Reply to this email directly or view it on GitHub
#30689 (comment).

bors added a commit that referenced this pull request Jan 27, 2016
@bors bors merged commit 5a14f37 into rust-lang:master Jan 28, 2016
@Manishearth Manishearth deleted the lifetime-bound branch December 2, 2016 19:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants